The Effect of Partial Deduction in Abductive Reasoning
نویسندگان
چکیده
Partial deduction is known as an optimization technique in logic programming. In the context of abductive logic programming, however, we present in this paper that normal partial deduction does not preserve explanations for abductive reasoning. Then we provide an alternative method of partial deduction, called abductive partial deduction, which is shown to preserve the meanings of abductive logic programs. A method of partial abduction is also introduced as an optimization for abductive reasoning in logic programs.
منابع مشابه
Analogy and Abduction in Automated Deduction
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abduction allows to deal with partial analogies thus strongly increasing the application field of the method. It also allows to detect "bad analogies" in several cases. Explanatory examples as well as more realistic examp...
متن کاملPartial Deduction of the Ground Representation and its Application to Integrity Checking
Integrity constraints are very useful in many contexts, such as, for example, deductive databases, abductive and inductive logic programming. However, fully testing the integrity constraints after each update or modiication can be very expensive and methods have been developed which simplify the integrity constraints. In this paper, we pursue the goal of writing this simpliication procedure as ...
متن کاملGenerating Specialised Update Procedures Through Partial Deduction of the Ground Representation
Integrity constraints are very useful in many contexts, such as, for example, deduc-tive databases, abductive and inductive logic programming. However, fully testing the integrity constraints after each update or modiication can be very expensive and methods have been developed which simplify the integrity constraints. In this paper, we pursue the goal of writing this simpliication procedure as...
متن کاملPartial Deduction in Disjunctive Logic Programming
CHIAKI SAKAMA AND HIROHISA SEKI y. This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called disjunctive partial deduction, which preserves the minimal mode...
متن کاملReasoning Strategies for Diagnostic Probability Estimates in Causal Contexts: Preference for Defeasible Deduction over Abduction
Recently, Meder, Mayrhofer, and Waldmann [1,2] have proposed a model of causal diagnostic reasoning that predicts an interference of the predictive probability, Pr(Effect |Cause), in estimating the diagnostic probability, Pr(Cause |Effect), specifically, that the interference leads to an underestimation bias of the diagnostic probability. The objective of the experiment reported in the present ...
متن کامل